process algebra造句
例句与造句
- information flow models based on security process algebra
网络信息系统的安全性及安全模型 - modeling and implementing of dss model system based on process algebra
模型系统建模与实现 - application research of process algebras on performance evaluation
进程代数在性能评价中的应用研究 - process algebras are widely used in describing and analyzing concurrent systems
进程代数在对并发系统的分析和验证等方面获得了广泛应用。 - following the development of process algebra, many different bisimulations are introduced
随着进程代数的发展,许多不同的互模拟概念相继被提出。 - It's difficult to find process algebra in a sentence. 用process algebra造句挺难的
- the-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems
演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。 - timed bundle event structures, is used as the system model and a real-time lotos-like process algebra is used as the specification language
动作精化是在并发理论当中一种很重要的层次化设计和刻画方法。 - process algebra, as one of the important tools for describing and analyzing concurrent and distributed systems, became an central branch of research in concurrency theory
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。 - 19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
即精化后的系统行为可以由精化前的系统行为和用于替换原系统动作的子系统的行为组合推导出来2同余性。 - university of twente, 1996.5 fecher h, majster-cederbaum m, wu j . bundle event structures : a revised cpo approach . information processing letters, 2002, 83 : 7-12.6 katoen j-p, langerak r, brinksma e, latella d, bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文扩展了传统的动作精化理论，研究具有时间指标的并发系统的动作精化理论，在我们研究的并发系统中，时间指标是系统的一个重要参数，动作的执行也是需要消耗时间的，并且紧急事件也被扩充到可以是任何事件，而不仅仅是超时事件。 - 11 katoen j-p, langerak r, latella d, brinksma e . on specifying real-time systems in a causality-based setting . lecture notes in computer science 1135, 1996, pp . 385-405.12 fecher h, majster-cederbaum m, wu j . refinement of actions in a real-time process algebra with a true concurrency model
在系统模型的结构表示上，本文扩充了传统的事件结构，使用一种带时间信息的捆绑式事件结构来模拟系统行为，在系统模型的语言刻画上，本文采用的是带时间的类lotos进程代数描述语言，对于动作精化，我们同样采用算子的观点，将动作精化定义为一个操作算子。